#include <iostream>
using namespace std;

int main() {
    int a,b;
    double res;
    cin >> a >> b;
    res = (double)a / (double)b;
    printf("%.9f", res);
    return 0;
}